24 | Communiqué de presse
Press release displayed 11884 times
L’ATELIER B Version 4.0.1 par CLearSy
Published on 28/01/2010 à 15:51
ClearSy, PME française spécialisée dans le développement de systèmes sécuritaires met à disposition de ses clients une nouvelle version de son application Atelier B.
L'Atelier B est depuis 15 ans l'outil industriel permettant de développer des logiciels et systèmes sécuritaires à l’aide de la méthode B, méthode formelle permettant de développer des logiciels prouvés mathématiquement et sans défauts.
Les méthodes formelles sont utilisées par les industriels pour garantir la sécurité de leur logiciel sécuritaire conformément aux normes les plus sévères dans les domaines de l’aéronautique et du ferroviaire. Elles permettent de diminuer considérablement l’effort de tests (élimination des tests unitaires remplacés par la preuve). Avec la méthode B, il est possible de démontrer mathématiquement l’ensemble d’une application de plus de 100 000 lignes de code embarqué.
La nouvelle version de l’Atelier B (4.0.1), est exclusivement réservée aux détenteurs d’un contrat de maintenance auprès de ClearSy. Celle-ci est disponible sous Linux, Windows, Mac et Solaris, et comporte plusieurs améliorations par rapport à la version 4.0.
Communiqué publié par SERVAT Thierry
Published on 28/01/2010 à 15:51 sur 24presse.com
SERVAT Thierry
ClearSy
www.atelierb.eu/
Contacter
Press release copyrights free 24presse.com
Derniers communiqués de presse de la catégorie "tech"
WAVE Protect d'Exosfer, pochette anti-ondes contre le pi...Publié le 26/03/2024 à 10:44 THE NEOSHIELDS et Olympe.Legal s'associent pour mettre l...Publié le 13/02/2024 à 13:24 TuneFab offre une remise jusqu’à 50% sur tous ses log...Publié le 15/12/2023 à 12:24